1. Abductive inference models for diagnostic problem-solving
پدیدآورنده : Peng, Yun
کتابخانه: (طهران)
موضوع : ، Problem solving,، Artificial intelligence,، Abduction )Logic(,، Reasoning
رده :
Q
335
.
P414
1990
2. Abductive reasoning :logical investigations into discovery and explanation
پدیدآورنده : Aliseda, Atocha.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Abduction )Logic(,، Reasoning,، Artificial intelligence
رده :
BC199
.
A26
A45
2006
3. Argumentation in artificial intelligence
پدیدآورنده : edited by Iyad Rahwan, Guillermo R. Simari
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence,Logic,Reasoning
رده :
Q335
.
5
.
A74
2009eb
4. Argumentation in artificial intelligence
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Artificial intelligence. ; Reasoning. ; Logic. ;
5. Clausal form logic : an introduction to the logic of computer reasoning
پدیدآورنده : Richards, Tom.
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Expert systems )Computer science(,، Artificial intelligence,، Logic, Symbolic and mathematical,، Reasoning
6. Commonsense Reasoning
پدیدآورنده : \ Erik T. Mueller, IBM Watson Group and IBM Research.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Commonsense reasoning-- Automation.,Artificial intelligence-- Mathematics.,Logic, Symbolic and mathematical-- Data processing.,استدلال عام -- خودکاری
رده :
E-Book
,
7. Commonsense reasoning /
پدیدآورنده : Erik T. Mueller.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence-- Mathematics.,Commonsense reasoning-- Automation.,Logic, Symbolic and mathematical-- Data processing.,Artificial Intelligence.,Automation.,Electronic Data Processing.,Artificial intelligence-- Mathematics.,Logic, Symbolic and mathematical-- Data processing.
رده :
Q338
.
85
.
M84
2006eb
8. Elements of argumentation /
پدیدآورنده : Philippe Besnard and Anthony Hunter
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence,Information technology,Logic,Reasoning
رده :
Q335
.
B489
2008
9. Elements of argumentation
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Artificial intelligence. ; Reasoning. ; Logic. ; Information technology. ;
10. Formal methods in artificial intelligence
پدیدآورنده : Allan Ramsay
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (أذربایجان الشرقیة)
موضوع : Artificial intelligence - Methodology,Logic, Symbolic and mathematical,Reasoning
رده :
Q
,
335
,.
R35
,
1988
11. Formal methods in artificial intelligence
پدیدآورنده : Ramsay, Allan, 3591-
کتابخانه: (طهران)
موضوع : Methodology ، Artificial intelligence,، Logic, Symbolic and mathematical,، Reasoning
رده :
Q
335
.
R35
1988
12. Inductive reasoning :
پدیدآورنده : edited by Aidan Feeney, Evan Heit.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Induction (Logic),Reasoning (Psychology),Artificial Intelligence.,Intelligence.,Learning.,Logic.,Induction (Logique),Raisonnement (Psychologie),Induction (Logic),PSYCHOLOGY-- Cognitive Psychology.,Reasoning (Psychology),SCIENCE-- Cognitive Science.
رده :
BF442
.
I53
2007eb
13. Inductive reasoning :
پدیدآورنده : edited by Aidan Feeney, Evan Heit.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Induction (Logic),Reasoning (Psychology),Artificial Intelligence.,Intelligence.,Learning.,Logic.,Induction (Logique),Raisonnement (Psychologie),Induction (Logic),Reasoning (Psychology)
رده :
BF442
.
I53
2007
14. Methodologies for Intelligent Systems, 4: Proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems held October 12-14, 1989, in Charlotte, North Carolina
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Artificial intelligence- Congresses,Reasoning- Congresses,Knowledge, Theory of- Congresses,Logic, Symbolic and mathematical- Congresses
رده :
Q
،
334
،.
I576
،
1989
15. Methodologies for intelligent systems, 4 : Proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems, held October 12-14, 1989, in Charlotte, North Carolina
پدیدآورنده : editor, Zbigniew W. Ras
کتابخانه: (طهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Reasoning,Congresses ، Knowledge, Theory of,Congresses ، Logic, Symbolic and mathematical
رده :
Q
334
.
I576
1989
16. Non-monotonic reasoning :
پدیدآورنده : Witold Łukaszewicz
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence,Logic,Reasoning
رده :
Q335
.
L85
1990
17. Non-monotonic reasoning : 2nd international Workshop, Grassau, FRG, June 1988: Proceedings
پدیدآورنده : M. Reinfrank, ]editor[...]et al.[
کتابخانه: (طهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Reasoning,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
346
18. Non-monotonic reasoning : 2nd international workshop, Grassau, FRG, June 1988 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Artificial intelligence-- Congresses,، Reasoning-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
Q
334
.
N66
1989
19. Nonmonotonic logics : basic concepts, results, and techniques
پدیدآورنده : Schlechta, Karl.
کتابخانه: (طهران)
موضوع : Default reasoning , Logic , Artificial intelligence , Nonmonotonic reasoning
رده :
Q
339
.
S35
1997
20. Nonmonotonic logics : basic concepts, results and techniques
پدیدآورنده : Schlechta, Karl
کتابخانه: (طهران)
موضوع : ، Default reasoning,، Logic,، Artificial intelligence,، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
1187
